TSTP Solution File: GRA049^2 by DCTP---1.31